2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Formal Verification of Object-Oriented Software
Автор:
Bernhard Beckert
, Автор:
Claude Marche
Категория:
Компьютеры
,
Программирование
Размер книги: 2.58 Mb
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)
Автор:
Bernhard Beckert
, Автор:
Reiner Hahnle
Категория:
Компьютеры
Размер книги: 2.96 Mb
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Автор:
Bernhard Beckert
, Автор:
Reiner Hähnle
, Автор:
Peter H. Schmitt
Размер книги: 5.36 Mb
Transformationen des Kapitalismus
Автор:
Beckert
, Автор:
Jens; Ebbinghaus
, Автор:
Bernhard; Hassel
, Автор:
Anke; Manow
, Автор:
Philip
Размер книги: 3.44 Mb
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005
Автор:
Bernhard Beckert
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.30 Mb
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Автор:
Bernhard Beckert
, Автор:
Reiner Hähnle
Размер книги: 1.84 Mb
